航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

单向电永磁作动器结构优化与动态特性分析

针对电磁作动器的使用要求，设计出一种具有能耗低、吸力大及响应快等特点的新型单向电永磁作动器。结合有限元仿真软件，利用有限元法研究作动器的结构参数如铁芯齿形结构、平面结构、无永磁结构、铁芯的倾斜角度及衔铁位移（气隙厚度）等因素对作动器电磁吸力和响应速度的影响。结果表明，电磁吸力随着作动衔铁位移的增加而大幅度减小；倾角结构的铁芯设计能使作动器性能达到最佳，且铁芯的倾斜角度为50°时，电磁吸力有最大值3071N。     

异构无人系统协同作战关键技术综述

针对异构无人系统的规模、异构性强弱，对异构无人系统进行了分类，引入了异构无人系统协同作战班组的概念以及应用设想，并通过城市环境中异构无人系统协同作战问题为牵引，提出了异构无人系统协同作战面临的挑战与解决思路，在此基础之上，从异构无人系统协同控制架构、协同任务规划、智能交互、目标感知、环境感知等主要方面对异构无人系统协同作战的关键技术进行了分析，最后对异构无人系统协同作战目前的研究进展与挑战进行了总结。     

多臂空间机器人的视觉伺服与协调控制

针对多臂空间机器人自主目标抓捕任务，首先建立多臂空间机器人的运动模型和其与目标的相对运动模型，采用Kane方法建立多臂空间机器人的动力学模型；其次，研究基于视觉伺服的机械臂在线轨迹规划算法，并引入零反作用机动，消除机械臂运动对平台姿态的扰动；再次，在不使用零反作用机动功能时，分别使用基于角动量前馈补偿的协调控制算法和逆动力学方法设计了协调控制器，在机械臂运动时保持平台姿态和相对目标的位置。最后，开发了基于Matlab的仿真软件MASS（多臂空间机器人仿真），仿真结果校验了上述方法的有效性。     

高超声速飞行器再入段LQR自抗扰控制方法设计

针对高超声速飞行器(HSV)再入过程中强非线性、强耦合、气动参数变化剧烈的不确定性的特点，提出一种基于线性二次型调节器(LQR)和自抗扰控制(ADRC)的高超声速飞行器再入段的姿态控制方法。首先，建立高超声速飞行器再入段线性化模型，并采用LQR方法完成了状态反馈控制律设计。然后，结合自抗扰控制技术，设计了扩张状态观测器(ESO)对系统的模型不确定性和外部干扰进行补偿，大幅增强了系统的扰动抑制能力。最后，将得到的高超声速飞行器再入段LQR自抗扰姿态控制器(LQRADRC)应用于高超声速飞行器六自由度仿真，仿真结果表明本文所提出的控制方法能够快速、精确地跟踪角位置指令，并且对系统不确定性具有强鲁棒性。     

预测悬停旋翼跨音速流动的一种组合自由尾流/CFD方法

一种新的组合自由尾流 / CFD方法用于悬停旋翼流动的 CFD解中以考虑实际尾流的作用 .用文中描述的尾流分析方法研究了螺旋尖涡的运动 .首先从广义尾流模型开始 ,用半经验公式模化了涡核对旋翼尾流的作用 ;然后在环量收敛和尾迹收敛的条件下完成了自由尾迹计算 ;最后应用 Jameson有限体积龙格 -库塔推进格式求解了欧拉方程 .所得结果与相关文献和实验数据进行了比较     

Performance evaluation for MAP state estimate fusion

This paper presents a quantitative performance evaluation method for the maximum a posteriori (MAP) state estimate fusion algorithm. Under ideal conditions where data association is assumed to be perfect, it has been shown that the MAP or best linear unbiased estimate (BLUE) fusion formula provides the best linear minimum mean squared estimate (LMMSE) given local estimates under the linear Gaussian assumption for a static system. However, for a dynamic system where fusion is recursively performed by the fusion center on local estimates generated from local measurements, it is not obvious how the MAP algorithm will perform. In the past, several performance evaluation methods have been proposed for various fusion algorithms, including simple convex combination, cross-covariance combination, information matrix, and MAP fusion. However, not much has been done to quantify the steady state behavior of these fusion methods for a dynamic system. The goal of this work is to present analytical fusion performance results for MAP state estimate fusion without extensive Monte Carlo simulations, using an approach developed for steady state performance evaluation for track fusion. Two different communication strategies are considered: fusion with and without feedback to the sensors. Analytic curves for the steady state performance of the fusion algorithm for various communication patterns are presented under different operating conditions.     

CAD/CAPP集成系统中工序图的自动生成方法

介绍了一种在CAD/CAPP集成系统中工序图自动生成的较通用的方法,提出了两种不同实现途径。并以实例表明在Pro/Engineer系统中得到了成功应用。     

利用微气囊扰动进行流动控制的数值模拟研究

探讨一种可以用来模拟“三角翼上分布微气囊，从而控制流动获得滚转力矩”的数值方法。为微型飞机的气动设计提供一种工具。研究的内容包括：考虑微气囊的三角翼网格生成、流场NS方程计算、微气囊不同布局对流动的扰动等。     

简易U型弯曲模设计

本文介绍了一种简易的u型弯曲模具的设计方法,具有结构简单、制造容易、节约材料、重量轻的特点,在小批量生产中有借鉴意义.